@ok
<?php

	$x = 0;
	switch ($x)
	{
		case 0:
			echo "0\n";
			break;
		case 1:
			echo "1\n";
			break;
		default:
			echo "default";
			break;
		case 2:
			echo "2\n";
			break;
		case 3:
			echo "3\n";
			break;
	}
?>
